#ifndef __OSEK_TRACE_H__
#define __OSEK_TRACE_H__
#include "FreeRTOS.h"
#include "task.h"

void logTCB(const char * msg, tskTCB * pTCB);

#ifndef traceTASK_TERMINATE
	#define traceTASK_TERMINATE( pxTaskToSuspend )    logTCB("Task to be Terminated", pxTaskToSuspend)
#endif

#ifndef traceTASK_ACTIVATE
	#define traceTASK_ACTIVATE( pxTaskToActivate )  logTCB("Task to be Activated", pxTaskToActivate)
#endif

#ifndef traceTASK
	#define traceTASK( pxTaskToTrace )  logTCB("traceTASK", pxTaskToTrace)
#endif


#if OSEK_WITH_OS_EXTENDED == 1
#   define IF_NO_EXTENDED_ERROR(result) \
    if ((result) == E_OK) {
#else
#   define IF_NO_EXTENDED_ERROR(result)
#endif


#endif /* __OSEK_TRACE_H__ */
